Categorical logic - PDFSEARCH.IO - Document Search Engine

Categorical logic
Results: 79

#	Item
11	A categorical notion of bisimulation Example: BranL Path Logic Correspondence Modal correspondence theory over presheaves Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-06-06 15:34:10
12	Under consideration for publication in Math. Struct. in Comp. Science Categorical Models for Abadi-Plotkin’s Logic for Parametricity L A R S B I R K E D A L1† and R A S M U S E. M Ø G E L B E R G2 1 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:04
13	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra
14	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
15	Microsoft Word - GroupAgency11Jan.doc Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2006-01-11 12:56:28 Metaphysics Proof theory Supervenience Discursive dilemma Categorical proposition Judgment Logic Physicalism Philosophy
16	Segregation effect 1 Running Head: segregation effect The Segregation Effect, Time Pressure and Other Factors Affecting Argument Strength in Categorical Inductive Inference Add to Reading List Source URL: www.bgu.ac.il Language: English - Date: 2002-11-03 09:01:56 Science Arguments Epistemology Logical consequence Problem solving Inductive reasoning Reason Inference Premise Logic Reasoning Knowledge
17	Learning & Behavior 2009, 37 (1), 1-20 doi:LBThe propositional approach to associative learning as an alternative Add to Reading List Source URL: users.ugent.be Language: English - Date: 2009-01-02 03:47:19 Propositions Propositional calculus Mathematical logic Logical syntax Statements Proposition Categorical proposition Recall Free will Logic Philosophy Mind
18	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types
19	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra
20	Annual Conference of the European Association for Computer Science Logic CSL 2011 September 12–15, 2011, Bergen, Norway FIRST CALL FOR PAPERS Program Committee Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-01-06 05:41:49 Science Philosophical logic Mathematical logic Game semantics Game theory Quantification Categorical logic Logic Mathematics Logic in computer science